Modal Logic – alle Bücher, CDs und LPs

Ernst-Erich Doberkat
Formale Logik im Dialog

Dieses Buch bietet in dialogischer und unkonventioneller Form eine vertiefte Einführung in die mathematische Logik mit einem besonderen Fokus auf die Anforderungen der modernen Softwaretechnik. Es behande…

sofort lieferbar

Buch

Stefan Lamm
Lernmodul 5: STEINZEIT / Rätsel, Logik und Co

Spannende Zeitreise in die Urgeschichte - Rätseln, Forschen, Verstehen.Tauchen Sie gemeinsam mit Ihren Schülerinnen und Schülern ein in die faszinierende Welt der Vor- und Frühgeschichte! Dieses Arbeitshe…

sofort lieferbar

Buch

Elke Brendel
Logik-Skript 2

Klostermann Rote Reihe

Die Modallogik befasst sich mit Schlüssen und Argumenten, welche die Begriffe der Möglichkeit und Notwendigkeit enthalten. Diese Einführung in die Semantik und Syntax der modalen Junktoren- und Quantorenl…

sofort lieferbar

Buch

Choi
Zwischen Ordentlichem und Außerordentlichem

Phänomenologie - Band 39

Alltagsmoral erscheint als vorgegebene Ordnung, die das Moralische vom Unmoralischen unterscheidet, ohne sich auf ein Normensystem reduzieren zu lassen. Sie verkörpert sich als dynamische, praxisorientier…

lieferbar ab 30.4.2026.

Buch

Stephane Demri
Concise Introduction to Alternating-Time Temporal Logics

Computer Science Foundations and Applied Logic

The formal verification of multi-agent systems aimed at proving that such systems meet their specifications has given rise to a very active field of research at the crossroads of formal methods, knowledge…

lieferbar ab 19.4.2026.

Buch

Claud

Supermodels (Limited Indie Edition) (Cloud Color Vinyl)

Supermodels ist eine Platte, in der man sich selbst wiedererkennen kann, egal wie alt man ist oder wo man steht. Clauds fesselndes und ergreifendes zweites Album ist ein selbstbewusstes Tagebuch über das …

Artikel am Lager

LP

Joe Suzuki
Graphical Models and Causal Discovery with R

Beginning with a gentle introduction to causal discovery and the foundations of probability and statistics, this textbook is written in a highly pedagogical way. By uniting probability theory, statistical…

lieferbar ab 6.5.2026.

Buch

Ralph Gregory Taylor
Logic and Fixed-Domain Reasoning

Trends in Logic

The author develops, incrementally over the course of several chapters, related concepts of logical system over fixed domain, both classical and nonclassical, by means of pragmatism-inspired translations …

lieferbar ab 4.5.2026.

Buch

Debra Silverman,
Die Psychologie deiner Sterne

Die Sterne als Spiegel deiner SeeleDebra Silverman, renommierte Psychotherapeutin und Astrologin, präsentiert eine neue Perspektive auf uns und unsere Beziehungen. Sie zeigt, wie wir mit der Weisheit der …

sofort lieferbar

Buch

Claud

Supermodels

Supermodels ist eine Platte, in der man sich selbst wiedererkennen kann, egal wie alt man ist oder wo man steht. Clauds fesselndes und ergreifendes zweites Album ist ein selbstbewusstes Tagebuch über das …

lieferbar innerhalb 1-2 Wochen

CD

Atomic

There's A Hole In The Mountain

Atomic macht musikalische Grenzerfahrungen erlebbar Seltsam vertraut und doch unerhört ist diese Mischung aus Jazz und zeitgenössischer Klassik, die Atomic in ihrer Produktion erschaffen. Die sechs Ko…

lieferbar in mind. 4 Wochen

CD

Logic, Language, Information, and Computation

Lecture Notes in Computer Science - Band 15942

.- Deep Induction for Inductive Families .- Asymptotic Reasoning with Two Variables Asymptotic Reasoning with Two Variables. .- Logics of Importation and Exportation for the Implicative Conditional. .- Pa…

lieferbar innerhalb 2-3 Wochen

Buch

Aleksandar Fatic
Modal Integrative Psychotherapy

The book addresses the growing interconnectedness between philosophical counseling and traditional psychotherapy. It explores the organic links between core philosophical concepts and theories, and the co…

lieferbar innerhalb 2-3 Wochen

Buch

Roberto Gorrieri
Syntax and Semantics of Petri Nets

Petri nets are one of the most popular tools for modeling distributed systems. This book provides a modern look at the theory behind them, by studying three classes of nets that model (i) sequential syste…

lieferbar innerhalb 2-3 Wochen

Buch

Scott Soames
The Analytic Tradition in Philosophy, Volume 3

An in-depth history of modal logic in analytic philosophy, from a leading philosopher of languageThis is the third of five volumes of a definitive history of analytic philosophy from the invention of mode…

lieferbar in mind. 4 Wochen

Buch

Interpreting Buridan

John Buridan (d. 1362) is one of the great thinkers of the later Middle Ages. He is perhaps best known for his contributions to logic, but the range of his thought is wide. This volume of new essays, writ…

lieferbar innerhalb 1-2 Wochen

Buch

Graph Games and Logic Design

Trends in Logic

This book presents established and new research on the close connections between graph games and systems of logic, particularly existing and newly designed modal logics. The volume utilizes two graph game…

lieferbar ab 3.4.2026.

Buch

Mark Zegarelli
Logic for Dummies

An accessible resource to help you puzzle out logic conceptsLogic For Dummies, 2nd Edition explains all the varied ways we use logic in philosophy, science, and everyday life. College students taking a lo…

lieferbar innerhalb 1-2 Wochen

Buch

Automated Reasoning with Analytic Tableaux and Related Methods

Lecture Notes in Computer Science - Band 15980

This open access book constitutes the proceedings of the 33rd International Conference on Automated Reasoning with AnalyticTableaux and Related Methods, TABLEAUX 2025, held in Reykjavik, Iceland, during S…

lieferbar innerhalb 2-3 Wochen

Buch